A framework to integrate software behavior into dynamic probabilistic risk assessment

Software plays an increasingly important role in modern safety-critical systems. Although, research has been done to integrate software into the classical probabilistic risk assessment (PRA) framework, current PRA practice overwhelmingly neglects the contribution of software to system risk. Dynamic probabilistic risk assessment (DPRA) is considered to be the next generation of PRA techniques. DPRA is a set of methods and techniques in which simulation models that represent the behavior of the elements of a system are exercised in order to identify risks and vulnerabilities of the system. The fact remains, however, that modeling software for use in the DPRA framework is also quite complex and very little has been done to address the question directly and comprehensively. This paper develops a methodology to integrate software contributions in the DPRA environment. The framework includes a software representation, and an approach to incorporate the software representation into the DPRA environment SimPRA. The software representation is based on multi-level objects and the paper also proposes a framework to simulate the multi-level objects in the simulation-based DPRA environment. This is a new methodology to address the state explosion problem in the DPRA environment. This study is the first systematic effort to integrate software risk contributions into DPRA environments.     

Automating application software generation

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach and the knowledge-based approach. But the optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. This paper describes the work in knowledge-based software engineering conducted by the authors for the past 10 years. The final goal of the research is to develop a paradigm for software engineering which integrates the three approaches mentioned above. A knowledge-based tool which can support the whole process of software development is provided in this paper.     

反应器和钢烟囱整体吊装的难点和对策

介绍了在金陵石化炼油厂200万t/a柴油加氢装置建设中,将质量为237t的反应器和高60m的钢烟囱成功进行整体吊装过程中的关键技术.通过此项工程实践得出以下结论象钢烟囱这样细长重物的整体吊装,由两台吊车抬立起后,再由主吊车独立吊装就位的施工方法简单易行,安全可靠,应用范围广;结构复杂细长杆的吊装强度和挠度计算比较复杂,在计算过程中可以忽略部分次要件的质量,分别以两吊点为支点计算上下吊点所受的力,然后再按比例放余量,使两吊点受力之和等于细长杆的重力,计算挠度时,可以适当地把问题夸大化,从而建立近似的力学模型;高压厚壁重型容器的吊装,宜直接设置专门吊盖与大法兰用螺栓把紧起吊;施工现场地基坚实是保证吊车站位和吊装施工的前提条件.     

Education-driven research in CAD

We argue for a new research category, named education-driven research (EDR), which fills the gap between traditional field-specific research that is not concerned with educational objectives and research in education that focuses on fundamental teaching and learning principles and possibly on their customization to broad areas (such as mathematics or physics), but not to specific disciplines (such as CAD). The objective of EDR is to simplify the formulation of the underlying theoretical foundations and of specific tools and solutions in a specialized domain, so as to make them easy to understand and internalize. As such, EDR is a difficult and genuine research activity, which requires a deep understanding of the specific field and can rarely be carried out by generalists with primary expertise in broad education principles. We illustrate the concept of EDR with three examples in CAD: (1) the Split and Tweak subdivisions of a polygon and its use for generating curves, surfaces, and animations; (2) the construction of a topological partition of a plane induced by an arbitrary arrangement of edges; and (3) a romantic definition of the minimal and Hausdorff distances. These examples demonstrate the value of using analogies, of introducing evocative terminology, and of synthesizing the simplest fundamental building blocks. The intuitive understanding provided by EDR enables the students (and even the instructor) to better appreciate the limitations of a particular solution and to explore alternatives. In particular, in these examples, EDR has allowed the author to: (1) reduce the cost of evaluating a cubic B-spline curve; (2) develop a new subdivision curve that is better approximated by its control polygon than either a cubic B-spline or an interpolating 4-point subdivision curve; (3) discover how a circuit inclusion tree may be used for identifying the faces in an arrangement; and (4) rectify a common misconception about the computation of the Hausdorff error between triangle meshes. We invite the scientific community to encourage the development of EDR by publishing its results as genuine research contributions in peer-reviewed professional journals.     

引水发电系统无压隧洞中弃水堰位置的数值模拟研究

水电站引水发电系统无压隧洞中的水力过渡过程是近年来电站设计中出现的一个新课题,特别是流域梯级电站开发中经常遇到。结合工程实例应用扩散法,给出了无压隧洞水力过渡过程数值模拟的基本方程以及上下游及弃水堰等边界附加方程,模拟了弃水堰布置在不同位置下,无压隧洞内的水位变化过程。研究成果和讨论对实际工程应用具有参考意义。     

碳纤维复合材料柔性连续抽油杆开发及应用

碳纤维柔性连续抽油杆选用高性能碳纤维 ,以环氧树脂胶液为基体材料 ,添加一定配比的固化剂、促进剂和脱模剂 ,采用拉挤成型工艺制成 ,其开发的关键技术是连续成型、连接接头和安全保险装置。现场应用试验表明 ,TXC— 1、TXC— 2、TXC— 3三种规格的碳纤维柔性连续抽油杆能可靠应用于泵挂深度分别为 12 0 0、 180 0、 30 0 0m的直井和斜井中 ,实测比钢抽油杆节电 ,日产油量提高 。节能增产效果显著。     

Intranet 的建立及影响

结合山西焦化公司内部网建设实践，分析了建设企业内部网的技术选择，阐述了以太网技术在大中型化工企业网络建设中的具体应用。指出建立信息网络将缩小企业与国外企业之间的营销能力差异，增强我国企业的竞争力。     

膜分离技术在水处理领域的应用

对2000年底巴黎“饮用水和工业用水制造领域中的膜技术”国际会议进行了简单的回顾，根据会议经历对当今膜分离技术在水处理领域的应用市场进行分析，提出今后液体膜分离技术的研究和发展的重点。最后对我国液体分离膜技术的发展提出一些建议。